@CHARSET "ISO-8859-1";
body {
	font-family: Verdana;
}
dd,dt {
	margin-left: 0;
}
dt {
	font-weight: bold;
	margin-top: 0.5em;
}
ul.menu {
  list-style: none;
  padding: 0;
}
ul.menu li {
  display: inline;
} 
.fout {
  color: red;
  font-weight: bold;
} 